21. Applications of combinatorial optimization /
پدیدآورنده : edited by Vangelis Th. Paschos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial optimization.,Programming (Mathematics),Combinatorial optimization.,Mathematics.,Natural computation.
رده :
QA402
.
5
.
P384
2014
22. Applied integer programming
پدیدآورنده : / Der-San Chen, Robert G. Batson, Yu Dang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Integer programming
رده :
T57
.
74
.
C454
2010
23. Applied optimization methods for wireless networks /
پدیدآورنده : Y. Thomas Hou, Virginia Polytechnic and State University, Yi Shi, Intelligent Automation Inc., Hanif D. Sherali, Virginia Polytechnic and State University
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematical optimization,Wireless communication systems
رده :
TK5103
.
2
.
H68
2014
24. Automata, Languages and Programming :
پدیدآورنده : edited by Hermann A. Maurer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Information theory.,Software engineering.,Theory of Computation.
25. Automata, languages, and programming :
پدیدآورنده : edited by Jan Paredaens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
26. Automata, languages, and programming :
پدیدآورنده : edited by J.W. de Bakker and J. van Leeuwen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Formal languages -- Congresses.,Machine theory -- Congresses.
27. Beginning X64 assembly programming :
پدیدآورنده : Jo Van Hoey.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Assembly languages (Electronic computers),Computer programming.,Assembly languages (Electronic computers),Computer programming.
رده :
QA76
.
73
.
A8
V36
2019
28. Big data in omics and imaging.dollar5Integrated analysis and causal inference /
پدیدآورنده : Momiao Xiong.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Big data-- Statistical methods.,Biometry-- Data processing.,Imaging systems in biology-- Statistical methods.,Bioinformatics.,HEALTH & FITNESS-- Holism.,HEALTH & FITNESS-- Reference.,MEDICAL-- Alternative Medicine.,MEDICAL-- Atlases.,MEDICAL-- Essays.,MEDICAL-- Family & General Practice.,MEDICAL-- Holistic Medicine.,MEDICAL-- Osteopathy.
رده :
QH323
.
5
.
X56
2018
29. Bioinformatics and phylogenetics :
پدیدآورنده : Tandy Warnow, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Bioinformatics.,Computational biology.,Phylogeny.,Bioinformatics.,Computational biology.,Phylogeny.
رده :
QH324
.
2
30. Boolean Methods in Operations Research and Related Areas
پدیدآورنده : P.L. Hammer ; S. Rudeanu
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : (Produktform)Paperback / softback,(Zielgruppe)Fachpublikum/ Wissenschaft,(Zielgruppe)Research
رده :
HD30
.
23
P543
2014
31. Building and solving mathematical programming models in engineering and science /
پدیدآورنده : Enrique Castillo [and others]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Engineering models,Programming (Mathematics)
رده :
T57
.
7
.
B85
2001
32. Combinatorial Optimization :
پدیدآورنده : edited by Mustafa Akgül, Horst W. Hamacher, Süleyman Tüfekçi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer software.,Systems theory.
رده :
QA402
.
5
E358
1992
33. Complexity and real computation.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
QA76
.
C667
2013
34. Computational linguistics and intelligent text processing
پدیدآورنده : / Alexander Gelbukh (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Text processing (Computer science), Congresses,Computational linguistics, Congresses,Discourse analysis, Data processing, Congresses,Information storage and retrieval systems, Congresses
رده :
QA76
.
9
.
T48C49
2010
35. Computer science logic :
پدیدآورنده : Hans Kleine Büning (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA75
.
5
H367
1996
36. Convexification and Global Optimization in Continuous and Mixed-Integer Nonlinear Programming
پدیدآورنده : by Mohit Tawarmalani, Nikolaos V. Sahinidis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Chemistry.,Discrete groups.,Electronic data processing.,Mathematical optimization.,Mathematics.,Operations research.
37. Cryptanalysis of Block Ciphers using Mixed-Integer Linear Programming
پدیدآورنده : IHAB SHAKIR,SHAKIR,
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Differential cryptanalysis, Linear Cryptanalysis, Mixed-Integer Linear Programming, MILP, AES,تحليل تفاضلی , تحلیل خطی , برنامه ریزی خطی milp , AES
38. Digital signal processing :
پدیدآورنده : Li Tan, Jean Jiang
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Signal processing-- Digital techniques
رده :
TK5102
.
9
.
T36
2013
39. Disjunctive programming /
پدیدآورنده : Egon Balas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Convex domains.,Integer programming.,Linear programming.,Convex domains.,Integer programming.,Linear programming.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.
رده :
T57
.
74
.
B35
2018eb
40. Efficient solving of large arithmetic constraint systems with complex Boolean structure :
پدیدآورنده : Christian Herde ; With a foreword by Martin Fränzle.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Informatique.
رده :
QA76
.
9
.
A96
H47
2011
